适用于无线体域网的动态口令认证协议

无线体域网中传输的是与生命高度相关的敏感数据，身份认证是信息安全保护的第一道防线。现有的基于人体生物信息的身份认证方案存在信息难提取、偶然性大和误差性大的问题，基于传统密码学的认证方案需较大计算资源和能量消耗，并不适用于无线体域网环境。为此，在动态口令和非对称加密机制基础上，提出一种适用于无线体域网的动态口令双向认证轻量协议，并对其进行形式化分析。通过理论证明、SVO逻辑推理及SPIN模型检测得出：该协议满足双向认证，且能够抵御重放攻击、伪装攻击、拒绝服务器攻击和口令离线攻击，具有较高安全性。     

高瓦斯矿井回采工作面瓦斯综合抽采技术实践

为了解决高瓦斯矿井工作面瓦斯涌出量大、瓦斯浓度高,制约工作面安全生产的问题,以亨元煤业为背景,结合矿井开采及瓦斯地质条件,确定了本煤层顺层钻孔抽采、穿层钻孔抽采邻近层和覆岩裂隙带瓦斯、以及对上隅角布置抽采管路进行抽采的综合治理方法。试验表明,工作面开采期间瓦斯涌出正常,上隅角瓦斯浓度保持在0.56%以下,实现了工作面安全高效开采。     

大跨度简支拱拱脚快速施工技术

以济青高铁邹淄特大桥1-144m简支拱拱脚施工为依托,通过对拱脚定位、安装工艺进行总结、优化,采用简易支架对拱脚定位、固定,达到了快速拼装、精确定位的效果。实践证明,本文提供的拱脚定位、安装施工方法可行,有效的加快了施工进度及拼装精度。